Opportunistically Parallel Lambda Calculus
dl.acm.orgยท22hยท
Discuss: Hacker News
๐Ÿ”—Functional Compilers
Flag this post
Java Generics and Collections โ€ข Maurice Naftalin & Stuart Marks โ€ข GOTO 2025
youtube.comยท1d
ฮปLambda Formalization
Flag this post
Down with template (or not)!
cedardb.comยท20h
๐ŸŽฏGradual Typing
Flag this post
Issue 496
haskellweekly.newsยท1d
๐Ÿ”—Functional Compilers
Flag this post
Three Meanings of Reference
sandordargo.comยท10hยท
Discuss: Hacker News, r/cpp
๐Ÿ”—Dependently Typed
Flag this post
Interfacing assembly with BASIC via DEFUSR, part 7
subethasoftware.comยท1d
๐Ÿ”งRISC-V Assembler
Flag this post
From Lossy to Lossless Reasoning
manidoraisamy.comยท2hยท
Discuss: Hacker News
๐Ÿ”จCompilers
Flag this post
Roadmap for Improving the Type Checker
forums.swift.orgยท19hยท
๐Ÿ’งLiquid Types
Flag this post
Making Sense of Lambda Calculus 6: Recurring Problems
aartaka.meยท2dยท
ฮปLambda Encodings
Flag this post
Understanding Hardness of Vision-Language Compositionality from A Token-level Causal Lens
arxiv.orgยท16h
๐ŸŒณContext free grammars
Flag this post
Rouille โ€“ Rust Programming, in French
dev.toยท5hยท
Discuss: DEV
๐Ÿฆ€Rust Borrowing
Flag this post
Show HN: Mach, a new systems language that focuses on being simple and explicit
github.comยท2hยท
Discuss: Hacker News
๐Ÿง Lisp Dialects
Flag this post
Clean Code: Functions and Error Handling in Go: From Chaos to Clarity [Part 1]
hackernoon.comยท13h
โœ…Format Verification
Flag this post
Reflection for Aggregates (2020)
akrzemi1.wordpress.comยท5hยท
๐Ÿ”’Type Safety
Flag this post
Ajla Tutorial
ajla-lang.czยท19hยท
Discuss: Hacker News
๐Ÿ’งLiquid Types
Flag this post
Well-Typed.Com: Case Study: Debugging a Haskell space leak
well-typed.comยท20h
๐Ÿ”“Decompilation
Flag this post
Swift 6.2: Observations
mjtsai.comยท2h
๐Ÿ”„Lens Laws
Flag this post
Stop Writing Code, Start Writing Docs
thenewstack.ioยท54m
โš™๏ธTLA+
Flag this post
Building a Rules Engine from First Principles
towardsdatascience.comยท1d
๐Ÿ”—Combinatory Logic
Flag this post